¿Puede un proceso secundario generado por fork() tener una identificación de proceso menor que su padre (sin cruzar el límite máximo)?
El PID suele ser el siguiente valor disponible, pero de todos modos, ¿puede ser menor que el PID de los padres?
Sí. No se garantiza que los PID estén en cualquier orden. Algunos sistemas y algunas extensiones de seguridad generan PID aleatorios para evitar ataques basados en la predicción de PID de niños. Por supuesto, incluso los sistemas que generan PID de forma lineal deben adaptarse en algún momento.
Sí. Los PID se reutilizan y, en algunos sistemas, los PID no aumentan necesariamente de forma monótona.
Sí, los PID se reutilizan después de cruzar el límite máximo (que depende del sistema operativo y posiblemente de la configuración). Por lo tanto, definitivamente es posible siempre que el sistema inicie procesos con la frecuencia suficiente.